Strong Löb Logic
Memo
直観主義バージョンは
Intuitional Strong Löb Logic
と呼ばれる．